[$P$? $f$ : $g$]($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $p$:$P$($x$) then $f$($x$) else $g$($x$) fi